Extension of hereditary classes with substitutions

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Extension of Hereditary Classes with Substitutions Extension of Hereditary Classes with Substitutions

Let G and H be graphs. A substitution of H in G instead of a vertex v 2 V (G) is the graph G(v ! H), which consists of disjoint union of H and G ? v with the additional edge-set fxy : x 2 V (H); y 2 N G (v)g. For a hereditary class of graphs P, the substitutional closure of P is deened as the class P consisting of all graphs which can be obtained from graphs in P by repeated substitutions. Let ...

متن کامل

Normalization by hereditary substitutions

We analyze a normalization function for the simply typed λ-calculus based on hereditary substitutions, a technique developed by Pfenning et al. The normalizer is implemented in Agda, a total language where all programs terminate. It requires no termination proof since it is structurally recursive which is recognized by Agda’s termination checker. Using Agda as an interactive theorem prover we e...

متن کامل

Extension of Hereditary Symmetry Operators

Two models of candidates for hereditary symmetry operators are proposed and thus many nonlinear systems of evolution equations possessing infinitely many commutative symmetries may be generated. Some concrete structures of hereditary symmetry operators are carefully analyzed on the base of the resulting general conditions and several corresponding nonlinear systems are explicitly given out as i...

متن کامل

On growth rates of hereditary permutation classes

A class of permutations is called hereditary if implies where the relation is the natural containment of permutations Let n be the set of all permutations of n belonging to We investigate the counting functions n j nj of hereditary classes Our main result says that if j nj n for at least one n then there is a unique k such that Fn k j nj Fn k n c holds for all n with a constant c Here Fn k are ...

متن کامل

On Hereditary Helly Classes of Graphs

In graph theory, the Helly property has been applied to families of sets, such as cliques, disks, bicliques, and neighbourhoods, leading to the classes of clique-Helly, disk-Helly, biclique-Helly, neighbourhood-Helly graphs, respectively. A natural question is to determine for which graphs the corresponding Helly property holds, for every induced subgraph. This leads to the corresponding classe...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Discrete Applied Mathematics

سال: 2003

ISSN: 0166-218X

DOI: 10.1016/s0166-218x(02)00507-3